auxiliary assumptions

辅助假设